Type → Kind
